-
1 specification-driven system generation
English-Russian electronics dictionary > specification-driven system generation
-
2 specification-driven system generation
The New English-Russian Dictionary of Radio-electronics > specification-driven system generation
См. также в других словарях:
UniTesK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
Технология UniTESK — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. UniTESK (Unified Testing specification toolKit) технология тестировани … Википедия
UniTESK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
ПАТРИСТИКА — (лат. patres отцы) направление философско теологической мысли 2 8 вв., связанное с деятельностью раннехристианских авторов Отцов Церкви. Семантико аксиологические источники оформления П. античная философия (общерациональный метод и конкретное… … История Философии: Энциклопедия
Бондур, Валерий Григорьевич — Валерий Григорьевич Бондур Дата рождения: 28 октября 1947(1947 10 28) (65 лет) Место рождения: Полтава Страна … Википедия
КОЛЕБАНИЯ — движения или процессы, обладающие той или иной степенью повторяемости во времени. К. свойственны всем явлениям природы: пульсирует излучение звёзд, внутри к рых происходят циклич. яд. реакции; с высокой степенью периодичности вращаются планеты… … Физическая энциклопедия
MetaPost — Класс языка: императивный Появился в … Википедия